681. The Principles of mathematics
پدیدآورنده : Russell, Bertrand, 2781-0791
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : Philosophy ، Mathematics,، Philosophy
رده :
QA
9
.
R8P7
1992
682. The Space of mathematics : philosophical, epistemological, and historical explorations
پدیدآورنده : edited by Javier Echeverria, Andoni Ibarra, Thomas Mormann
کتابخانه: (طهران)
موضوع : Congresses ، Mathematics -- Philosophy,History -- Congresses ، Mathematics
رده :
QA
8
.
S63
1992
683. The World treasury of physics, astronomy, and mathematics
پدیدآورنده : edited by Timothy Ferris; with a foreword by Clifton Fadiman, general editor
کتابخانه: (طهران)
موضوع : ، Physics,، Astronomy,، Mathematics,، Science -- Philosophy,Biography ، Physicists,Biography ، Astronomers,Biography ، Mathematicians
رده :
QC
71
.
W67
684. The adventure of reason :
پدیدآورنده : Paolo Mancosu
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy-- History-- 20th century
رده :
QA9
.
M295
2010
685. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
686. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
687. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
688. The applicability of mathematics as a philosophical problem
پدیدآورنده : Steiner, Mark
کتابخانه: (طهران)
موضوع : ، Mathematical physics,، Mathematics -- Philosophy
رده :
QC
20
.
S76A6
689. The architecture of modern mathematics :essays in history and philosophy
پدیدآورنده : edited by J. Ferreirعos and J.J. Gray
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : History Philosophy ، Mathematics,History ، Mathematics - 81th century,History ، Mathematics - 91th century,History ، Mathematics - 02th century
رده :
QA21
.
A73
2006
690. The autonomy of mathematical knowledge : Hilbert's program revisited
پدیدآورنده : Franks, Curtis
کتابخانه: (طهران)
موضوع : ، Hilbert, David, 2681-3491,Philosophy ، Mathematics
رده :
QA
8
.
4
.
F72A9
691. The axiomatic method; an introduction to mathematical logic
پدیدآورنده : Lightstone, A. H.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
692. The common sense of the exact sciences
پدیدآورنده : Clifford, William Kingdon, 5481-9781
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : Philosophy ، Mathematics
رده :
QA
9
.
C5C6
693. The common sense of the exact sciences
پدیدآورنده : Clifford, William Kingdon
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics - Philosophy
رده :
QA
9
.
C63
1996
694. The common sense of the exact sciences
پدیدآورنده : Clifford, William Kingdon
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Mathematics-- Philosophy
رده :
QA
9
.
C63
1996
695. The concept of model :
پدیدآورنده : Alain Badiou ; edited and translated by Zachary Luke Fraser and Tzuchien Tho
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Philosophy,Model theory
696. The conceptual roots of mathematics : an essay on the philosophy of mathematics
پدیدآورنده : Lucas, John Randolph, 9291-
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy
رده :
QA
8
.
4
.
L82C6
697. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
698. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
699. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1953
700. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
